.dialog-overflow {}

.dialog .list {
    padding: 20px;
}

.dialog span.typ {
    cursor: pointer;
}

.dialog p {
  margin-bottom: 20px;
}

.no-border {
  border: 0 !important;
}

.spinner {
  display: inline-block;
  width: 16px;
  height: 16px;
  background: url('');
}

.spinner.done {
  background: url('');
}

.progress {
  margin-left: 5px;
  margin-right: 5px;
}

label {
  margin-right: 5px;
}

label input[type=checkbox],
label input[type=radio] {
  position: relative;
  top: 2px;
}

.class-source .highlighted {
	background-color: rgba(255, 0, 0, 0.125)
}
